Resultaten visas 1 - 10 / 3681
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon

Security Analysis of the MLS Key Derivation

Referentgranskad
Öppen tillgång
DOI
10.1109/SP46214.2022.9833678
Brzuska, Chris; Cornelissen, Eric; Kohbrok, Konrad
Proceedings - IEEE Symposium on Security and Privacy2022Publicationer information ikon

From mathematical axioms to mathematical rules of proof:recent developments in proof analysis

Referentgranskad
Öppen tillgång
DOI
10.1098/rsta.2018.0037
Negri, Sara; von Plato, Jan
Proceedings of the Royal Society. A . Mathematical, physical and engineering sciences2019Publicationer information ikon

Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox

Referentgranskad
Öppen tillgång
DOI
10.1109/CSF54842.2022.9919671
Dupressoir, Francois; Kohbrok, Konrad; Oechsner, Sabine
Proceedings : IEEE Computer Security Foundations Symposium2022Publicationer information ikon

Security objectives within a security testing case study

Referentgranskad
DOI
10.1109/ARES.2007.136
Karppinen, Kaarina; Savola, Reijo; Rapeli, Mikko; Tikkala, Esa
2nd International Conference on Availability, Reliability and Security, ARES 20072007Publicationer information ikon

Undergraduate students’ attitudes towards mathematical proving in an introduction to proof course

Referentgranskad
Öppen tillgång
DOI
10.1007/s10649-023-10239-8
Häsä, Jokke; Westlin, Lín; Rämö, Johanna
Educational studies in mathematics2023Publicationer information ikon

Proof constructions and their evaluations among Finnish prospective teachers

Referentgranskad
Keranto Tapio, Sarenius Vesa-Matti
-2010Publicationer information ikon

From security modelling to run-time security monitoring

Referentgranskad
Evesti, Antti; Ovaska, Eila; Savola, Reijo
European Workshop on Security in Model Driven Architecture 2009, SECMDA 20092009Publicationer information ikon

Proof-Theoretic Analysis of the Quantified Argument Calculus

Referentgranskad
Öppen tillgång
DOI
10.1017/S1755020318000114
Pavlović , Edi; Norbert Gratzl
The Review of Symbolic Logic2019Publicationer information ikon

Transparent Security Method for Automating IoT Security Assessments

Referentgranskad
Öppen tillgång
DOI
10.1007/978-981-99-7032-2_9
Kaksonen, Rauli; Halunen, Kimmo; Laakso, Marko; Röning, Juha
Lecture notes in computer science2023Publicationer information ikon

The Security Model to Combine the Corporate and Information Security

Referentgranskad
Virtanen, Teemupekka
-2001

Security Analysis of the MLS Key Derivation

Referentgranskad
Öppen tillgång
DOI
10.1109/SP46214.2022.9833678
2022

From mathematical axioms to mathematical rules of proof:recent developments in proof analysis

Referentgranskad
Öppen tillgång
DOI
10.1098/rsta.2018.0037
2019

Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox

Referentgranskad
Öppen tillgång
DOI
10.1109/CSF54842.2022.9919671
2022

Security objectives within a security testing case study

Referentgranskad
DOI
10.1109/ARES.2007.136
2007

Undergraduate students’ attitudes towards mathematical proving in an introduction to proof course

Referentgranskad
Öppen tillgång
DOI
10.1007/s10649-023-10239-8
2023

Proof constructions and their evaluations among Finnish prospective teachers

Referentgranskad
2010

From security modelling to run-time security monitoring

Referentgranskad
2009

Proof-Theoretic Analysis of the Quantified Argument Calculus

Referentgranskad
Öppen tillgång
DOI
10.1017/S1755020318000114
2019

Transparent Security Method for Automating IoT Security Assessments

Referentgranskad
Öppen tillgång
DOI
10.1007/978-981-99-7032-2_9
2023

The Security Model to Combine the Corporate and Information Security

Referentgranskad
2001